This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
اقرأ المزيدThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
اقرأ المزيدThis book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيدThis book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
اقرأ المزيدThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيدThis volume systematically sets out the basic elements on which to base financial analysis for business in the new century. ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
اقرأ المزيدThis book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...
اقرأ المزيدThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
اقرأ المزيدThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
اقرأ المزيدThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
اقرأ المزيدThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
اقرأ المزيدThis book is at the interface of logic, philosophy and science. It is intended for readers with interest and/or current involvement ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
اقرأ المزيد